Send the following on WhatsApp
Continue to ChatA FORMAL REPRESENTATION OF BUILDING CODES TO FACILITATE BIM-BASED AUTOMATED CODE-CHECKING - https://avesis.metu.edu.tr/advisingtheses/details/34a3d5d0-2d8b-4457-98df-d663dde9c4b4/a-formal-representation-of-building-codes-to-facilitate-bim-based-automated-code-checking